skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Search for: All records

Creators/Authors contains: "Ayala, David"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. We undertake a systematic study of the Hochschild homology, i.e. (the geometric realization of) the cyclic nerve, of -categories (and more generally of category-objects in an ∞-category), as a version of factorization homology. In order to do this, we codify -categories in terms of quiver representations in them. By examining a universal instance of such Hochschild homology, we explicitly identify its natural symmetries, and construct a non-stable version of the cyclotomic trace map. Along the way we give a unified account of the cyclic, paracyclic, and epicyclic categories. We also prove that this gives a combinatorial description of the case of factorization homology as presented in [4], which parametrizes -categories by solidly 1-framed stratified spaces. 
    more » « less
    Free, publicly-accessible full text available April 1, 2026
  2. We introduce a theory of stratifications of noncommutative stacks (i.e., presentable stable ∞<#comment/> \infty -categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem is compatible with symmetric monoidal structures, and with more general operadic structures such as E n \mathbb {E}_n -monoidal structures. We also provide a suite of fundamental operations for constructing new stratifications from old ones: restriction, pullback, quotient, pushforward, and refinement. Moreover, we establish a dual form of reconstruction; this is closely related to Verdier duality and reflection functors, and gives a categorification of Möbius inversion. Our main application is to equivariant stable homotopy theory: for any compact Lie group G G , we give a symmetric monoidal stratification of genuine G G -spectra. In the case that G G is finite, this expresses genuine G G -spectra in terms of their geometric fixedpoints (as homotopy-equivariant spectra) and gluing data therebetween (which are given by proper Tate constructions). We also prove an adelic reconstruction theorem; this applies not just to ordinary schemes but in the more general context of tensor-triangular geometry, where we obtain a symmetric monoidal stratification over the Balmer spectrum. We discuss the particular example of chromatic homotopy theory. 
    more » « less
  3. null (Ed.)